p∧q∨r的主析取式
離散數(shù)學(xué)的主析取范式和主合取范式應(yīng)該怎樣求 求具體的方法 一看到這樣...
(2)一個(gè)簡(jiǎn)單合取式是矛盾式當(dāng)且僅當(dāng)它同時(shí)含某個(gè)命題變項(xiàng)及它的否定。定義:(1)由有限個(gè)簡(jiǎn)單合取式構(gòu)成的析取式稱為析取范式。(2)由有限個(gè)簡(jiǎn)單析取式構(gòu)成的合取式稱為合取范式。(3)析取范式與合取范式統(tǒng)稱為范式。舉例說吧:例1, 求公式(p∧q)∨r的主析取范式及主合取范式。主析取范式:...
(p→q)∧(q→r)求主析取范式
繼續(xù)進(jìn)行轉(zhuǎn)換,可以得到:((﹁p∧﹁q)∧(r∨﹁r))∨((﹁p∧﹁r)∧(q∨﹁q))∨(p∧q∧r)。再次應(yīng)用分配律,可以進(jìn)一步簡(jiǎn)化為:(﹁p∧﹁q∧r)∨(﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(﹁p∧﹁q∧﹁r)∨(p∧q∧r)。最終,我們得到該公式的主析取范式為:(﹁p∧﹁q∧r)∨(﹁p...
求(P↓Q)→(P∧¬(Q∨¬R))的主析取范式,,,大神你會(huì)嗎!嗚嗚嗚...
所以(P↓Q)→(P∧?(Q∨?R))的主析取范式是m2∨m3∨m4∨m5∨m6∨m7。解法二:等值演算。(P↓Q)→(P∧?(Q∨?R))<=>??(P∨Q)∨(P∧?Q∧R)<=>(P∨Q)∨(P∧?Q∧R)<=>P∨Q<=>(P∧Q∧R)∨(P∧Q∧?R)∨(P∧&...
析取范式的析取范式與合取范式
定義2.2 命題變項(xiàng)及其否定統(tǒng)稱作文字。僅由有限個(gè)文字構(gòu)成的析取式稱為簡(jiǎn)單析取式。僅由有限個(gè)文字構(gòu)成的合取式稱為簡(jiǎn)單合取式。例如,文字:p,┐q,r,q.簡(jiǎn)單析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r.簡(jiǎn)單合取式: p,┐r,┐p∧r,┐p∧q∧r,p∧q∧┐q.定理2.1(1)一個(gè)簡(jiǎn)單析取...
主析取范式的基本內(nèi)容
會(huì)用主析取范式求公式的成真賦值、成假賦值、判斷公式的類型、判斷兩個(gè)公式是否等值。 定義2.2 命題變項(xiàng)及其否定統(tǒng)稱作文字。 僅由有限個(gè)文字構(gòu)成的析取式稱為簡(jiǎn)單析取式。僅由有限個(gè)文字構(gòu)成的合取式稱為簡(jiǎn)單合取式。例如,文字:p,┐q,r,q.簡(jiǎn)單析取式: p,q,p∨q,p∨┐p∨r,┐p∨q∨┐r...
知道三個(gè)命題變?cè)闹骱先》妒綖镻∨非Q∨R,主析取范式是什么?_百度...
(?P∨?Q∨R)∨?(?P∨?Q∨?R)。進(jìn)一步簡(jiǎn)化,我們得到主析取范式為:(?P∧?Q∧?R)∨(?P∧?Q∧R)∨(?P∧Q∧R)∨(P∧?Q∧?R)∨(P∧?Q∧R)∨(P∧Q∧?R)∨(P∧Q∧R)。
離散數(shù)學(xué) 求析取范式
?(p∧?q∧?r)∨(p∧?q∧r)∨(?p∧q∧r)∨(?p∧?q∧?r)∨(?p∧q∧?r) 等冪律 得到主析取范式 檢查遺漏的極小項(xiàng),取非,然后合取,得到主合取范式 (p∨q∨?r)∧(?p∨?q∨r)∧(?p∨&...
求(P↓Q)→(P∧¬(Q∨¬R))的主析取范式,,,大神你會(huì)嗎!嗚嗚嗚...
所以(P↓Q)→(P∧?(Q∨?R))的主析取范式是m2∨m3∨m4∨m5∨m6∨m7。解法二:等值演算。(P↓Q)→(P∧?(Q∨?R))<=>??(P∨Q)∨(P∧?Q∧R)<=>(P∨Q)∨(P∧?Q∧R)<=>P∨Q<=>(P∧Q∧R)∨(P∧Q∧?R)∨(P∧&...
離散數(shù)學(xué)_數(shù)理邏輯題: 求該"和取范式"的"析取范式"?
簡(jiǎn)化后得到:(┐P∧┐Q∧┐R) ∨ (P∧Q∧R)。這就是該表達(dá)式的主析取范式。接下來求主合取范式。原式可以轉(zhuǎn)換為:(┐P∨Q) ∧(┐P∨ R) ∧(P∨┐Q)∧(P∨┐R)。通過分配律進(jìn)一步展開得到:(┐P∨Q∨(R∧┐R)) ∧(┐P∨(Q∧┐Q)∨ R))∧(P∨┐Q∨(R∧ ┐R))∧...
求主析取和主合取范式。
= ┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧(R∨┐R)= ┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧R ∨ ┐P∧┐Q∧┐R =┐P∧┐Q∧┐R ∨ ┐P∧┐Q∧R = (類似于E的符號(hào))m0, m1 =(類似于E的符號(hào))(0,1)下面的主合取范式正好是主析取范式的互補(bǔ)情況 所以兩個(gè)范式...
葛怎14775479962咨詢: 求(p∧q)∨(p∧r)主析取范式 -
平安縣圓鍵回復(fù):
______ (P∧∟Q∧S)∨(∟P∧Q∧R)<=>((P∧∟Q∧S)∧(R∨∟R))∨((∟P∧Q∧R)∧(S∨∟S))<=> (∟P∧Q∧R∧∟S)∨(∟P∧Q∧R∧S)∨(P∧∟Q∧∟R∧S)∨(P∧∟Q∧R∧S) 或者 做真值表: P Q R S P∧∟Q∧S ∟P∧Q∧R 0 0 0 0 0 0 0 0 0 1 0 ...
葛怎14775479962咨詢: 離散數(shù)學(xué)主析取范式 -
平安縣圓鍵回復(fù):
______ (p∨(q∧r))→(p∨q∨r) ? ?(p∨(q∧r))∨(p∨q∨r) 變成 合取析取 ? (?p∧?(q∧r))∨(p∨q∨r) 德摩根定律 ? (?p∧(?q∨?r))∨(p∨q∨r) 德摩根定律 ? (?p∧?q)∨(?p∧?r)∨(p∨q∨r) 分配律 ? (?p∧?q∧(?r∨r))∨(?p∧(?q∨q)∧?r)∨(p∨q...
葛怎14775479962咨詢: (p∨(q∧r))→(p∨q∨r)主析取范式 -
平安縣圓鍵回復(fù):
______ 先補(bǔ)項(xiàng),然后使用分配率 (p∧q)∨r ?(p∧q∧(?r∨r))∨((?p∨p)∧(?q∨q)∧r) 補(bǔ)項(xiàng) ?((p∧q∧?r)∨(p∧q∧r))∨((?p∨p)∧(?q∨q)∧r) 分配律 ?(p∧q∧?r)∨(p∧q∧r)∨((?p∨p)∧(?q∨q)∧r) 結(jié)合律 ?(p∧q∧?r)∨(p∧q∧r)∨((?p∧(?q∨q)...
葛怎14775479962咨詢: (P→Q)∧R的主析取范式、主合取范式是什么啊 -
平安縣圓鍵回復(fù):
______ p→(q∧r) ??p∨(q∧r) 變成 合取析取 ?(?p∨q)∧(?p∨r) 分配律 ?(?p∨q∨(?r∧r))∧(?p∨(?q∧q)∨r) 補(bǔ)項(xiàng) ?((?p∨q∨?r)∧(?p∨q∨r))∧(?p∨(?q∧q)∨r) 分配律2 ?(?p∨q∨?r)∧(?p∨q∨r)∧(?p∨(?q∧q)∨r) 結(jié)合律 ?(?p...
葛怎14775479962咨詢: 離散數(shù)學(xué) 求公式 - ( - Q∧(P - >Q)) 的合取主范式. 求教 -
平安縣圓鍵回復(fù):
______ 主合取范式:-(-Q∧(P->Q)) <=>-(-Q∧(-PVQ)) <=>-((-Q∧-P)V(-Q∧Q)) <=>-(-Q∧-P) <=>QVP
葛怎14775479962咨詢: 求P→Q∨R的析取范式、主析取范式、主合取范式我求的是:P→Q∨R的析取范式、主析取范式、主合取范式, -
平安縣圓鍵回復(fù):
______[答案] 主合取范式:若干個(gè)極大項(xiàng)的合取.主析取范式:若干個(gè)極小項(xiàng)的析取.例,求公式(p∧q)∨r的主析取范式及主合取范式.主析取范式:(p∧q)∨r (p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r) (p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)...
葛怎14775479962咨詢: 命題公式(?p→q)→(?q?p)的主析取范式是Σ() - 上學(xué)吧普法考試
平安縣圓鍵回復(fù):
______[答案] 用P'表示非P, P→(P∧(Q→R)) =P'∨(P∧(Q'∨R)) =(P'∨P)∧(P'∨(Q'∨R)) =P'∨Q'∨R.